Lịch sử Câu lệnh switch

Trong bài viết Introduction to Metamathematics năm 1952, Stephen Kleene đã chính thức chứng minh rằng hàm CASE (là hàm IF-THEN-ELSE ở dạng đơn giản nhất) là một hàm đệ quy nguyên tố (primitive recursive function), trong đó ông định nghĩa khái niệm definition by cases theo cách sau:

"#F. The function φ defined thusφ(x1 , ... , xn ) =
  • φ1(x1 , ... , xn ) if Q1(x1 , ... , xn ),
  • . . . . . . . . . . . .
  • φm(x1 , ... , xn ) if Qm(x1 , ... , xn ),
  • φm+1(x1 , ... , xn ) otherwise,